Ibn Sina’s Anticipation of Burdian and Barcan Formulas